Towards Reversible Computation in Erlang
نویسندگان
چکیده
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for debugging and for enforcing faulttolerance, among others. In this paper, we consider a subset of Erlang, a concurrent language based on the actor model. We formally introduce a reversible semantics for this language. To the best of our knowledge, this is the first attempt to define a reversible semantics for Erlang.
منابع مشابه
A Reversible Semantics for Erlang
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for debugging and for enforcing faulttolerance, among others. In this paper, we consider a subset of Erlang, a concurrent language based on the actor model, and forma...
متن کاملTowards a Formalisation of Erlang Failure and Failure Detection
This paper discusses preliminary investigations on the behaviour of the error handling mechanisms in Erlang, a parallel language which is renowned for its fault tolerant capabilities. A formal model is defined in order to provide a precise and unambiguous description of the behaviour of these mechanisms. The correctness of the model is evaluated by considering a simple Erlang program and compar...
متن کاملP-166: Knowledge and Attitudes towards Long Term Usefulness of Reversible Contraceptives among Females in Reproductive Age in Yazd, Iran
Background: Yazd has important potential role in treatment of infertility and promotion of sexual health in south of Iran. Long term usefulness of reversible contraceptives (LTURC) is the most cost-effective contraceptives between women. This study aimed to assess the reproductive aged women's knowledge, attitudes, and factors associated with use of LTURC. Materials and Methods: This cross...
متن کاملAlgorithms for Higher-Order Derivatives of Erlang C Function
In this paper we analyze the partial derivatives of any order of the continued Erlang C function in the number of servers. For the numerical computation of those derivatives, several algorithms are proposed and compared in terms of stability, efficiency and precision. This study concludes that a recursive matrix relation presented in a previous work [4, 5], may be used for the establishment of ...
متن کاملRELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper)
Erlang provides a fault-tolerant, reliable model for building concurrent, distributed system based on functional programming. In the RELEASE project the Erlang model is extended to Scalable Distributed Erlang – SD Erlang – supporting general-purpose computation in massively multicore systems. This paper outlines the RELEASE proposal, and indicates the progress of the project in its first six mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1608.05521 شماره
صفحات -
تاریخ انتشار 2016